Formal representation of complex SNOMED CT expressions

<p>Abstract</p> <p>Background</p> <p>Definitory expressions about clinical procedures, findings and diseases constitute a major benefit of a formally founded clinical reference terminology which is ontologically sound and suited for formal reasoning. SNOMED CT claims to support formal reasoning by description-logic based concept definitions.</p> <p>Methods</p> <p>On the basis of formal ontology criteria we analyze complex SNOMED CT concepts, such as "Concussion of Brain with(out) Loss of Consciousness", using alternatively full first order logics and the description logic <inline-formula><m:math xmlns:m="http://www.w3.org/1998/Math/MathML" name="1472-6947-8-S1-S9-i1"><m:semantics><m:mrow><m:mi>ℰ</m:mi><m:mi>ℒ</m:mi></m:mrow><m:annotation encoding="MathType-MTEF"> MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@</m:annotation></m:semantics></m:math></inline-formula>.</p> <p>Results</p> <p>Typical complex SNOMED CT concepts, including negations or not, can be expressed in full first-order logics. Negations cannot be properly expressed in the description logic <inline-formula><m:math xmlns:m="http://www.w3.org/1998/Math/MathML" name="1472-6947-8-S1-S9-i1"><m:semantics><m:mrow><m:mi>ℰ</m:mi><m:mi>ℒ</m:mi></m:mrow><m:annotation encoding="MathType-MTEF"> MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8hmHuKae8NeHWeaaa@37B1@</m:annotation></m:semantics></m:math></inline-formula> underlying SNOMED CT. All concepts concepts the meaning of which implies a temporal scope may be subject to diverging interpretations, which are often unclear in SNOMED CT as their contextual determinants are not made explicit.</p> <p>Conclusion</p> <p>The description of complex medical occurrents is ambiguous, as the same situations can be described as (i) a complex occurrent <it>C </it>that has <it>A </it>and <it>B </it>as temporal parts, (ii) a simple occurrent <it>A' </it>defined as a kind of A followed by some <it>B</it>, or (iii) a simple occurrent <it>B' </it>defined as a kind of <it>B </it>preceded by some <it>A</it>. As negative statements in SNOMED CT cannot be exactly represented without a (computationally costly) extension of the set of logical constructors, a solution can be the reification of negative statments (e.g., "Period with no Loss of Consciousness"), or the use of the SNOMED CT context model. However, the interpretation of SNOMED CT context model concepts as description logics axioms is not recommended, because this may entail unintended models.</p

Detecting and Correcting Conservativity Principle Violations in Ontology-to-Ontology Mappings

In order to enable interoperability between ontology-based systems, ontology matching techniques have been proposed. However, when the generated mappings suffer from logical flaws, their usefulness may be diminished. In this paper we present an approximate method to detect and correct violations to the so-called conservativity principle where novel subsumption entailments between named concepts in one of the input ontologies are considered as unwanted. We show that this is indeed the case in our application domain based on the EU Optique project. Additionally, our extensive evaluation conducted with both the Optique use case and the data sets from the Ontology Alignment Evaluation Initiative (OAEI) suggests that our method is both useful and feasible in practice.Copyright 2014 Springer International Publishing Switzerland. The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-11915-1_

Effect of habitat productivity and exploitation on populations with complex life cycles

In this paper we study the consequences of habitat switching and the corresponding ontogenetic diet shifts between adult and juvenile life stages for harvesting and management of exploited populations using a consumer-resource model with stage-specific mortality. Specifically, we study how differences in stage-specific habitat productivity regulate exploited populations and affect yield. We show that the ratio of adult to juvenile habitat productivity determines whether the population is regulated by processes in the juvenile or adult stage and that population responses to changes in mortality (e.g. fishing) or habitat productivity (e.g. eutrophication or physical destruction) depend critically on the mechanism regulating the population. This result has important consequences for the management of marine fish. For example, in fisheries where the exploited population is regulated by processes in the juvenile stage, management measures aimed at protecting the juvenile habitat may be much more effective than regulating fishing effort on the adults. We find also that intermediate differences in habitat productivity lead to alternative stable states between a population regulated by processes in the juvenile or the adult stage. These alternative stable states may lead to counterintuitive population responses to harvestin

Root Justifications for Ontology Repair

International audienc

Towards annotating potential incoherences in BioPortal mappings

BioPortal is a repository for biomedical ontologies that also includes mappings between them from various sources. Considered as a whole, these mappings may cause logical errors, due to incompatibilities between the ontologies or even erroneous mappings. We have performed an automatic evaluation of BioPortal mappings between 19 ontology pairs using the mapping repair systems of LogMap and AgreementMakerLight. We found logical errors in 11 of these pairs, which on average involved 22% of the mappings between each pair. Furthermore, we conducted a manual evaluation of the repair results to identify the actual sources of error, verifying that erroneous mappings were behind over 60% of the repairs. Given the results of our analysis, we believe that annotating BioPortal mappings with information about their logical conflicts with other mappings would improve their usability for semantic web applications and facilitate the identification of erroneous mappings. In future work, we aim to collaborate with BioPortal developers in extending BioPortal with these annotations.Copyright 2014 Springer International Publishing Switzerland. The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-11915-1_

Detecting and correcting conservativity principle violations in ontology−to−ontology mappings

In order to enable interoperability between ontology-based systems, ontology matching techniques have been proposed. However, when the generated mappings suffer from logical flaws, their usefulness may be diminished. In this paper we present an approximate method to detect and correct violations to the so-called conservativity principle where novel subsumption entailments between named concepts in one of the input ontologies are considered as unwanted. We show that this is indeed the case in our application domain based on the EU Optique project. Additionally, our extensive evaluation conducted with both the Optique use case and the data sets from the Ontology Alignment Evaluation Initiative (OAEI) suggests that our method is both useful and feasible in practice.</p